Minimal cut sets with time dependencies analysis
نویسندگان
چکیده
منابع مشابه
Minimal cut sets in biochemical reaction networks
MOTIVATION Structural studies of metabolic networks yield deeper insight into topology, functionality and capabilities of the metabolisms of different organisms. Here, we address the analysis of potential failure modes in metabolic networks whose occurrence will render the network structurally incapable of performing certain functions. Such studies will help to identify crucial parts in the net...
متن کاملAutomatic Generation of Minimal Cut Sets
A cut set is a collection of component failure modes that could lead to a system failure. Cut Set Analysis (CSA) is applied to critical systems to identify and rank system vulnerabilities at design time. Model checking tools have been used to automate the generation of minimal cut sets but are generally based on checking reachability of system failure states. This paper describes a new approach...
متن کاملcounterexamples in a−minimal sets
several tables have been given due to a − minimal sets. our main aim in this paper is tocomplete these tables by employing several examples.
متن کاملMinimal-Cut Shape Composition
Constructing new, complex models is often done by reusing parts of existing models, typically by applying a sequence of segmentation, alignment and composition operations. Segmentation, either manual or automatic, is rarely adequate for this task, since it is applied to each model independently, leaving it to the user to trim the shapes and determine where to connect them. In this paper we prop...
متن کاملTool for analysis of the fault tree with time dependencies
The fault tree analysis is one of the most frequent used methods of supporting the safety systems analysis. Real time systems are one of the fields of applications. Information of hazard occurrence in these systems is important as well as information related to timing aspects. In this chapter the models of gates has been collected, the notation of events for XML file generation has been given a...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Automatyka/Automatics
سال: 2013
ISSN: 1429-3447
DOI: 10.7494/automat.2013.17.2.219